🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

WeakC4, or Distilling an Emergent Object
2swap.github.io·8h·
Discuss: Hacker News
🔲Cellular Automata
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·8h·
Discuss: DEV
✨Effect Handlers
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·9h
⚔️Lean Theorem
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·13h
🔲Cellular Automata
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·17h·
Discuss: Hacker News
⚡Proof Automation
Scheme Basics
courses.cs.washington.edu·20h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Lobsters Interview with Matklad
lobste.rs·19h·
Discuss: Lobsters
🦀Rust Macros
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·17h
🔐Cryptographic Archaeology
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·4d
🔲Proof Irrelevance
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·17h·
Discuss: Hacker News
🔐Cryptographic Archaeology
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🔮Proof Search
Multiagent orchestration framework to manage swarms via drag and drop
github.com·15h·
Discuss: Hacker News
🌊Streaming Systems
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·43m·
Discuss: Substack
⚡Proof Automation
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·16h
🔗Tailscale
DEF CON 33: Field Notes on AI Security, AI Red Teaming, and the Road Ahead
hackerone.com·1d
⚔️Lean Tactics
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·10h·
Discuss: Hacker News
🔲Cellular Automata
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·8h·
Discuss: Hacker News
⚡Proof Automation
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·17h·
Discuss: Hacker News
⚡Proof Automation